#include "global.h"

int      tex_flag = TRUE;
int     html_flag = FALSE;
int   output_flag = TRUE;
int  compare_flag = TRUE;
int  verbose_flag = FALSE;
int   number_flag = FALSE;
int    scrap_flag = TRUE;
int dangling_flag = FALSE;
int   header_flag = TRUE;
int filename_flag = FALSE;
int nw_char='@';
char *command_name = NULL;
char *source_name = NULL;
int source_line = 0;
int already_warned = 0;
Name *file_names = NULL;
Name *macro_names = NULL;
Name *user_names = NULL;
int scrap_name_has_parameters;
int scrap_ended_with;

